$\forall$$l$:IdLnk. source(lnk{-}inv($l$)) $\sim$ destination($l$)